Nuprl Definition : cmd-history
11,40
postcript
pdf
cmd-history(
e
) == es-interface-history(
es
;
x
.sys-cmds(
x
)'
Sys
(valid);
e
)
latex
clarification:
cmd-history{i:l}
cmd-history
(
es
;
Config
;
Cmd
;
Sys
;
e
)
== es-interface-history(
es
;
x
.sys-cmds(
x
)'sys-valid{i:l}
== es-interface-history(
es
;
x
.sys-cmds(
x
)'sys-valid
(
es
;
Config
;
Cmd
;
Sys
);
e
)
latex
Definitions
es-interface-history(
es
;
X
;
e
)
,
f
'
Ia
,
x
.
A
(
x
)
,
sys-cmds(
x
)
,
Sys
(valid)
FDL editor aliases
cmd-history
origin